<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>1.4.0 | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">1.4.0</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">
















</div>

  </div>
  <div class="content col-sm-8 col-md-6 col-lg-7 main">
    <h1 id="microkit-release-140">Microkit Release 1.4.0</h1>

<h4 id="2024-08-05">2024-08-05</h4>

<p>This release aims to add support for requested features by the community, in order to
allow more people to use and transition to Microkit. There is of course still more to
be done over the next couple of releases.</p>

<p>This release has no breaking changes.</p>

<h3 id="features-added">Features added</h3>

<ul>
  <li>Added support for RISC-V 64-bit based platforms.</li>
  <li>Added a new ‘benchmark’ configuration to allow access to the in-kernel
performance tracking.</li>
  <li>Add the ability to configure the stack size of a PD.</li>
  <li>Export ARM architectural timer to user-space for the QEMU virt AArch64 platform.
    <ul>
      <li>This platform does not have any other timer so this is allows having a timer
driver when simulating/developing Microkit systems with QEMU.</li>
    </ul>
  </li>
  <li>Add new APIs for ‘deferred’ versions of <code class="language-plaintext highlighter-rouge">microkit_notify</code> and <code class="language-plaintext highlighter-rouge">microkit_irq_ack</code>.
See the manual for details on when and how to use these.</li>
</ul>

<h3 id="other-changes">Other changes</h3>

<ul>
  <li>Made a number of internal changes to the tool to improve performance and peak memory
usage.
    <ul>
      <li>The tool’s performance was not noticeable until building larger systems with Microkit.
Now invoking the Microkit tool with a large system should not take more than 500ms-1s to
complete. There are more opportunities for optimisation if we do run into the tool slowing
down however.</li>
    </ul>
  </li>
</ul>

<h3 id="bug-fixes">Bug fixes</h3>

<ul>
  <li>Fixed the loader to not print unless in debug mode (matching the behaviour of
the kernel and monitor).</li>
  <li>Add error checking for duplicate symbols between <code class="language-plaintext highlighter-rouge">setvar_vaddr</code> attributes and
<code class="language-plaintext highlighter-rouge">setvar</code> elements.</li>
  <li>Fixed an internal issue that prevented the Monitor from printing out correct fault
information in debug mode.</li>
  <li>Fixed the parsing of parent protection domains, previously non-trivial cases were
leading to errors.</li>
  <li>Fixed the tool to explicitly skip ELF segments that are not declared as loadable,
previously the tool assumed all segments would be loaded at runtime.</li>
  <li>Fix permissions applied to the distributed/packaged SDK. Previously this would cause
<code class="language-plaintext highlighter-rouge">sudo</code> access to move/remove the SDK.</li>
  <li>Fixed an internal issue that prevented a memory region from being allocated at a fixed
physical address that is not part of device memory (e.g within RAM).</li>
</ul>

<h3 id="board-support">Board support</h3>

<p>This release adds support for the following platforms:</p>

<ul>
  <li>QEMU virt (RISC-V 64-bit)</li>
  <li>Pine64 Star64</li>
</ul>

<h2 id="full-changelog">Full changelog</h2>

<p>Use <code class="language-plaintext highlighter-rouge">git log 1.3.0..1.4.0</code> in <a href="https://github.com/seL4/microkit/">https://github.com/seL4/microkit/</a></p>

<h2 id="more-details">More details</h2>

<p>See the <a href="https://github.com/seL4/microkit/blob/main/docs/manual.md">documentation</a>
or ask on the mailing list!</p>


  </div>







  
  
<div class="sidebar-toc hidden-xs hidden-sm col-md-3 col-lg-3">
  
    <ul class="section-nav">
    	<h2> Microkit </h2> 
        <li>
          
          <a style="" class="" href="/projects/microkit/">
            Documentation homepage
          </a>
        </li>













    
        <h3>Useful URLs</h3>
    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/blob/main/docs/manual.md">
            Microkit user manual
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit/tutorial">
            Microkit tutorial
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://github.com/seL4/microkit/issues/61">
            Microkit development roadmap
          </a>
        </li>

    
        <li>
          <a style="" class="" href="https://trustworthy.systems/projects/microkit">
            Trustworthy Systems Microkit project
          </a>
        </li>





    
        <h3>Repositories</h3>
    
        <li>
          <a class="" href="https://github.com/sel4/microkit">
            microkit
          </a>
        </li>

    
        <li>
          <a class="" href="https://github.com/au-ts/microkit_tutorial">
            microkit_tutorial
          </a>
        </li>









  
      
          <h3>Releases</h3>
      
          <li>
            <a style="" href="/releases/microkit/1.4.1.html">
              1.4.1
            </a>
          </li>
  
      
          <li>
            <a style=" font-weight: bold; " href="/releases/microkit/1.4.0.html">
              1.4.0
            </a>
          </li>
  
      
          <li>
            <a style="" href="/releases/microkit/1.3.0.html">
              1.3.0
            </a>
          </li>
  



<h3>SDK downloads</h3>
  
    <h4>1.4.1</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-linux-x86-64.tar.gz">
              microkit-sdk-1.4.1-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz">
              microkit-sdk-1.4.1-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-aarch64.tar.gz">
              microkit-sdk-1.4.1-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.4.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-linux-x86-64.tar.gz">
              microkit-sdk-1.4.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-x86-64.tar.gz">
              microkit-sdk-1.4.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.4.0/microkit-sdk-1.4.0-macos-aarch64.tar.gz">
              microkit-sdk-1.4.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  
    <h4>1.3.0</h4>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-linux-x86-64.tar.gz">
              microkit-sdk-1.3.0-linux-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-x86-64.tar.gz">
              microkit-sdk-1.3.0-macos-x86-64.tar.gz
            </a>
      </li>
    
      <li>
          <a href="https://github.com/seL4/microkit/releases/download/1.3.0/microkit-sdk-1.3.0-macos-aarch64.tar.gz">
              microkit-sdk-1.3.0-macos-aarch64.tar.gz
            </a>
      </li>
    
  





    </ul>

</div>


</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/content_collections/_releases/microkit/1.4.0.md">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/content_collections/_releases/microkit/1.4.0.md">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
